Algebraic Service Specification and Rule Generation for Integrating Multiple Dissemination-Based Information Sources

نویسندگان

  • Hiroyuki Kitagawa
  • Tomoyuki Kajino
  • Yoshiharu Ishikawa
چکیده

Integration of heterogeneous information sources has been one of important data engineering research issues. Various types of information sources are available today. They include dissemination-based information sources, which actively and autonomously deliver information from server sites to users. We have been developing a mediatodwrapper-based information integration system, in which we employ ECA rules to enable users to dejine new information delivery services integrating multiple existing dissemination-based information sources. However; it is not easy for users to directly specihl ECA rules and to verifj, them. In this paper; we propose a scheme to spec& new information delivery services using the framework of the relational algebra. We discuss some important properties of the speciJication, and show how we can derive ECA rules to implenient the delivery services.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Requirement Specification and Derivation of ECA Rules for Integrating Multiple Dissemination-Based Information Sources

The recent development of network technology has enabled us to access various information sources easily, and their integration has been studied intensively by the data engineering research community. Although technological advancement has made it possible to integrate existing heterogeneous information sources, we still have to deal with information sources of a new kind—dissemination-based in...

متن کامل

Integration of Multiple Dissemination-Based Information Sources Using Source Data Arrival Properties

The integration of heterogeneous information sources is an important data engineering research issue. Various types of information sources are available today. They include dissemination-based information sources, which actively and autonomously deliver information from servers to users. We are developing a mediator/wrapper-based information integration system in which we employ ECA rules to de...

متن کامل

A Service Brokering and Recommendation Mechanism for Better Selecting Cloud Services

Cloud computing is becoming the new generation computing infrastructure, and many cloud vendors provide different types of cloud services. How to choose the best cloud services for specific applications is very challenging. Addressing this challenge requires balancing multiple factors, such as business demands, technologies, policies and preferences in addition to the computing requirements. Th...

متن کامل

QTRU: quaternionic version of the NTRU public-key cryptosystems

In this paper we will construct a lattice-based public-key cryptosystem using non-commutative quaternion algebra, and since its lattice does not fully fit within Circular and Convolutional Modular Lattice (CCML), we prove it is arguably more secure than the existing lattice-based cryptosystems such as NTRU. As in NTRU, the proposed public-key cryptosystem relies for its inherent securi...

متن کامل

Web Service Choreography Verification Using Z Formal Specification

Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2001